<?php
print PHP_OS . "\n";
